1. Algebraic and logic programming :
پدیدآورنده : J. Grabowski, P. Lescanne, W. Wechler (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebraic logic -- Congresses.,Algebraic logic.,Logic programming -- Congresses.
رده :
QA76
.
6
J473
1989
2. Application and theory of Petri nets :
پدیدآورنده : edited by Claude Girault and Woflgang Reisig.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : fiabilité,Petri nets -- Congresses.,protocole accès.
3. Application and theory of Petri nets :
پدیدآورنده : edited by Claude Girault and Woflgang Reisig.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : fiabilité,Petri nets -- Congresses.,protocole accès.
رده :
QA267
.
E358
1982
4. Automata, languages and programming :
پدیدآورنده : J. Leach Albert, B. Monien, M. Rodríguez Artalejo (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Machine theory -- Congresses.,Machine theory.
رده :
QA267
.
J543
1991
5. Automata, languages, and programming :
پدیدآورنده : edited by Jan Paredaens.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer programming -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers) -- Congresses.
6. Automated and algorithmic debugging :
پدیدآورنده : Peter A Fritzson
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer Science.,Debugging in computer science -- Congresses.,Engineering & Applied Sciences.
7. Current trends in concurrency :
پدیدآورنده : edited by J.W. de Bakker, W.-P. de Roever, and G. Rozenberg.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Parallel processing (Electronic computers),Parallel processing (Electronic computers) -- Congresses.,Parallélisme (Informatique) -- Congrès.
8. ESOP '88
پدیدآورنده : H. Ganzinger, ed.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer programming-- Congresses.,Programming languages (Electronic computers)-- Congresses.
رده :
QA76
.
6
.
E976
1988
9. Erlang '10 :
پدیدآورنده : [Scott Lystig Fritchie, general chair ; Konstantinos Sagonas, program chair] ; sponsored by, ACM SIGPLAN ; co-located with, ICFP'10.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer programming, Congresses.,ERLANG (Computer program language), Congresses.,Computer programming.,Computer Science.,Engineering & Applied Sciences.,ERLANG (Computer program language)
رده :
QA76
.
73
.
E75
A36
2010eb
10. Erlang'04 : proceedings of the ACM SIGPLAN 2004 Erlang Workshop, September 22, 2004, Snowbird, Utah, USA
پدیدآورنده :
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، ERLANG )Computer program language(,Congresses ، Programming languages )Electronic computers(,Congresses ، Computer software
رده :
QA
76
.
73
.
E75A26
2004
11. Erlang'05 : proceedings of the ACM SIGPLAN 2005 Erlang Workshop, September 25, 2005, Tallinn, Estonia
پدیدآورنده : sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages )SIGPLAN(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، ERLANG )Computer program language(,Congresses ، Programming languages )Electronic computers(,Congresses ، Computer software
رده :
QA
76
.
73
.
E75A26
2005
12. FDPE'05 : proceedings of the ACM SIGPLAN 2005 Workshop on Functional and Declarative Programming in Education, September 25, 2005, Tallinn, Estonia
پدیدآورنده :
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Declarative programming,Congresses ، Functional programming )Computer science(
رده :
QA
76
.
62
.
A383
2005
13. FPCA, 89: the Fourth International Conference on Functional programming Language and Computer Architecture
پدیدآورنده :
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع : ، Functional programming languages- congresses,، Computer architecture- Congresses
14. Formal methods for industrial critical systems :
پدیدآورنده : Falk Howar, Jiří Barnat (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer Systems Organization and Communication Networks.,Programming Languages, Compilers, Interpreters.,Simulation and Modeling.,Software Engineering.,The Computing Profession.,Theory of Computation.,3D graphics & modelling.,Computer networking & communications.,Computer programs-- Reliability.,Computer programs-- Verification.,Computer science.,Computer software-- Reliability.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.
رده :
QA76
.
9
.
F67
I58
2018eb
15. Functional and constraint logic programming :
پدیدآورنده : Julio Mariño (edition)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic programming, Congresses,Mathematical Logic and Formal Languages
رده :
QA76
.
63
.
W45
2011
16. Functional programming languages and computer architecture : Nancy, France, September 1985
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Functional programming languages-- Congresses,، Computer architecture-- Congresses
رده :
QA
76
.
7
.
F86
1985
17. Functional programming languages and computer architecture : Nancy, France, September 1985
پدیدآورنده : edited by Jean-Pierre Jouannaud
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Functional programming languages,Congresses ، Computer architecture
رده :
QA
76
.
L4
v
.
201
18. Functional programming languages and computer architecture : Nancy, France, September 1985
پدیدآورنده : edited by Jean-Pierre Jouannaud
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Functional programming languages,Congresses ، Computer architecture
رده :
QA
76
.
L28
Vol
.
201
19. Functional programming languages and computer architecture, Portland, Oregon, USA, September 14-16, 1987 : Proceedings
پدیدآورنده : Gilles Kahn )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Functional programming languages,Congresses ، Computer architecture
رده :
QA
76
.
L28
Vol
.
274
20. Functional programming languages and computer architecture, Portland, Oregon, USA, September 14-16, 1987 : proceedings
پدیدآورنده : Gilles Kahn )ed.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Functional programming languages,Congresses ، Computer architecture
رده :
QA
76
.
L4
v
.
274
